(ff) 

latex

ProofTree

Definitions	t  T, P  Q, A, x:A. B(x), if b then t else f fi , False, ff, b,
Lemmas	bfalse wf, assert wf